Automated planning and scheduling - PDFSEARCH.IO - Document Search Engine

Automated planning and scheduling
Results: 432

#	Item
61	Unmanned Aircraft Collision Avoidance using Continuous-State POMDPs Haoyu Bai∗ David Hsu∗ Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2011-05-30 06:03:31 Markov processes Stochastic control Systems theory Partially observable Markov decision process Monte Carlo POMDP Markov decision process Automated planning and scheduling Collision avoidance Traffic collision avoidance system Statistics Control theory Dynamic programming
62	Curriculum Vitae Dr Daniele Magazzeni Current Position Position: Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2015-03-23 15:49:18 Planning Domain Definition Language Planner Automated planning and scheduling Artificial intelligence Model checking
63	Principles of AI Problem Solving Tutorial IJCAI-05 Adnan Darwiche (UCLA, Los Angeles) Rina Dechter (UCI, Irvine) H. Geffner (UPF, Barcelona) Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:27 Dynamic programming Markov processes Stochastic control Constraint programming Constraint satisfaction problem Actor model Problem solving Constraint satisfaction STRIPS Statistics Artificial intelligence Automated planning and scheduling
64	Journal of Artificial Intelligence Research–59 Submitted 12/07; publishedA Heuristic Search Approach to Planning with Continuous Resources in Stochastic Domains Add to Reading List Source URL: jair.org Language: English - Date: 2009-01-27 12:23:05 Operations research Mathematical optimization Dynamic programming Search algorithms Markov processes Markov decision process Automated planning and scheduling Reinforcement learning Linear programming Mathematics Statistics Applied mathematics
65	Learning Portfolios of Automatically Tuned Planners Jendrik Seipp Manuel Braun Johannes Garimort Albert-Ludwigs-Universit¨at Freiburg Freiburg, Germany Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Investment Planner Algorithm Portfolio Applied mathematics Mathematics Artificial intelligence Theoretical computer science Automated planning and scheduling
66	Linear Programming for Heuristics in Optimal Planning Gabriele R¨oger and Florian Pommerening University of Basel, Switzerland {gabriele.roeger, florian.pommerening}@unibas.ch Abstract Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-11-26 07:33:29 Operations research Applied mathematics Heuristic function Combinatorial optimization Admissible heuristic Heuristic Search algorithm Automated planning and scheduling Algorithm Heuristics Mathematical optimization Mathematics
67	From Navigation to Robotic-Assisted Surgery: Combined Planning in Discrete and Continuous Spaces Erion Plaku This work aims to deal formally and efficiently with the complexity of planning that arises at the intersection Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2014-10-28 09:35:43 Robot control Planning Domain Definition Language Control theory Robotics Obstacle avoidance Robot Applied mathematics Simulation Artificial intelligence Motion planning Theoretical computer science Automated planning and scheduling
68	Action Pruning Through Under-approximation Refinement Master’s Thesis Natural Science Faculty of the University of Basel Department of Mathematics and Computer Science Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-06-04 05:49:32 Science Mind Operations research Automated planning and scheduling Heuristic function Heuristic Algorithm Search algorithm Planning Domain Definition Language Problem solving Artificial intelligence Heuristics
69	A DECLARATIVE FRAMEWORK FOR MODELING MULTI-AGENT SYSTEMS by GREGORY GELFOND A MASTER THESIS IN Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:08:43 Software engineering Automated planning and scheduling Prolog Agent-based model Action language Logic programming Multi-agent systems Artificial intelligence Computing
70	Satellite Data Download Management with Uncertainty about the Generated Volumes C´edric Pralet and G´erard Verfaillie and Adrien Maillard Onera, Toulouse, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-14 15:28:28 Applied mathematics Scheduling Business Constraint optimization Linear programming Automated planning and scheduling Government procurement in the United States Operations research Planning Scheduling algorithms

UPDATE